1.
پدیدآورنده : Prepared by the Mathematics Foundation Course Team
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Logic , symbolic and mathematical
رده :
BC
,
135
,.
O6
2. ......................
پدیدآورنده : edited by R. Parikh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
453
3. .....................
پدیدآورنده : Chang, Chin-liang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
4. A Concise introduction to mathematical logic
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Logic, Symbolic and mathematical
رده :
511
.
3
R249c
2
Ed
.
5. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
6. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
7. A course on mathematical logic
پدیدآورنده : Srivastava, Sashi Mohan
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. <A> First Course in Logic
پدیدآورنده : \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
9. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
10. <A> First Course in Modern Logic
پدیدآورنده : \ Edith Watson Shipper and Edward Schuh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
11. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
12. <A> Logical Approach to Philosophy
پدیدآورنده : \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگرهها ,منطق ریاضی -- کنگرهها
رده :
E-Book
,
13. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
14. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
15. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
16. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
17. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
18. A concise introduction to mathematical logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
19. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
20. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2010